661. Relational and algebraic methods in computer science :
Author: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
Classification :
QA76
.
9
.
M35
662. Relational and algebraic methods in computer science :
Author: Wolfram Kahl, Timothy G. Griffin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.
Classification :
QA76
.
9
.
M35
R36
2012eb
663. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
664. Reliability Theory and Models
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Reliability (Engineering) -- Congresses
Classification :
E-Book
,
665. Reliability of computer and communication networks : proceedings of a DIMACS workshop december 2-4, 1989
Author: Fred Roberts, Frank Hwang, Clyde Monma, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Reliability -- Congresses ، Computer networks
Classification :
TK
5105
.
5
.
D587
1989
666. Reliability theory and models. stochastic failure models, optimal maintenance policies, life testing, and structures
Author: / edited by Mohamed S. Abdel-Hameed, Erhan Cشnlar, Joseph Quinn$7fa
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Reliability (Engineering)- Congresses
Classification :
TA16
.
R46
667. Research in data science
Author: / Ellen Gasparovic, Carlotta Domeniconi, editors.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science,Quantitative research, -- Congresses, -- Mathematics,a04,a05
Classification :
QA76
.
9
.
M35
2019
668. Reversible computation :
Author: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
Classification :
QA76
.
9
.
R48
669. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013
670. Robotics and mechatronics :
Author: Richard (Chunhai) Yang, Yukio Takeda, Chunwei Zhang, Gu Fang, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mechatronics, Congresses.,Robotics, Congresses.,Mechatronics.,Robotics.
Classification :
TJ210
.
3
.
I38
2017
671. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
672. STACS'90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, Feb. 1990 : Proceedings
Author: C. Choffrut, T. Lengauer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
415
673. STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings
Author: Symposium on Theoretical Aspects of Computer Science, )7th, 0991, Rouen, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses
Classification :
QA
75
.
5
.
S958
1990
674. Satisfiability problem
Author: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
Classification :
QA9
.
3
.
S38
1997
675. Satisfiability problem :
Author: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
Classification :
QA9
.
3
.
S38
1997
676. Scalable uncertainty management :
Author: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
Classification :
Q375
677. Scale space and PDE methods in computer vision : 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005 : proceedings
Author: Ron Kimmel, Nir Sochen, Joachim Weickert )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer vision,Mathematics -- Congresses ، Image processing
Classification :
QA
76
.
L28
Vol
.
3459
678. Scale-space and morphology in computer vision : Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001 : proceedings
Author: Michael Kerckhove )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer vision,Congresses ، Geometry,Congresses ، Gaussian processes,Mathematics -- Congresses ، Image processing
Classification :
QA
76
.
L28
Vol
.
2106
679. Scale space and variational methods in computer vision :
Author: Fiorella Sgallari, Almerico Murli, Nikos Paragios (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision-- Mathematics, Congresses.,Computer vision-- Methodology, Congresses.,Image processing-- Digital techniques, Congresses.,Image processing-- Digital techniques.,Informatique.,JUVENILE NONFICTION-- Computers-- General.
Classification :
TA1634
.
S72
2007eb
680. Scale space methods in computer vision
Author: / Lewis D. Griffin, Martin Lillholm, eds
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer vision Congresses,Image processing- Mathematics Congresses
Classification :
TA1634
.
S38
2003
